11 found
Order:
  1.  44
    On Jaśkowski-type semantics for the intuitionistic propositional logic.Stanisław J. Surma, Andrzej Wroński & Stanisław Zachorowski - 1975 - Studia Logica 34 (2):145-148.
  2.  40
    Twierdzenia o dedukcji niewprost.Stanisław J. Surma - 1967 - Studia Logica 20 (1):151-160.
  3.  40
    Conference on stanisław leśniewski's achievement.Stanisław J. Surma - 1977 - Studia Logica 36 (4):247-248.
  4.  45
    Cztery studia z metamatematyki.Stanisław J. Surma - 1968 - Studia Logica 23 (1):79-102.
  5.  15
    From closure-operatic deductive methodology to non-standard alternatives.Stanisław J. Surma - 1998 - In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers. pp. 365--377.
  6.  33
    Four studies in metamathematics.Stanisław J. Surma - 1968 - Studia Logica 23 (1):109-114.
  7. Studies in the history of mathematical logic.Stanisław J. Surma (ed.) - 1973 - Wrocław,: Zakład Narodowy im. Ossolinskich.
  8.  18
    The Logical Work of Mordchaj Wajsberg.Stanisław J. Surma - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 101--115.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  32
    Twierdzenia o dedukcji dla implikacji zstępujących.Stanisław J. Surma - 1968 - Studia Logica 22 (1):61-77.
  10. W duchu Tarskiego: o alternatywach teorio-dowodowej metalogiki.Stanisław J. Surma - 1993 - Filozofia Nauki 1.
    the standard metalogical set-ups seem to be all based on the idea of consequence (or proof). However, metalogic can also be effectively constructed using some non-standard primmitive ideas. In this paper an outline is given to four metalogical frameworks, alternative to the standard set-ups. They are based, respectively, on the idea of consistency; on an omission (or separation) operator; on an extension operator (called in the paper a Lindenbaum operator); and on the idea of maximality. All these metalogics, including the (...)
    No categories
     
    Export citation  
     
    Bookmark  
  11.  19
    Reviews. [REVIEW]Stanisław J. Surma, Ewa Orłowska, R. Murawski, Wanda Charczuk & Walenty Staszek - 1974 - Studia Logica 33 (2):215-231.